home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / fig2-out < prev    next >
Encoding:
Text File  |  1996-08-26  |  1.1 KB  |  24 lines
  1. LCLint 2.2 --- 25 Aug 96
  2.  
  3. palindrome.c: (in function isPalindrome)
  4. <A HREF="palindrome.c.html#line6" target="source">palindrome.c:6,29</A>: Cast from underlying abstract type
  5.                       mstring: (char *)s
  6.   An abstraction barrier is broken. If necessary, use
  7.   /*@access <type>@*/ to allow access to an abstract
  8.   type. (-abstract will suppress message)
  9. <A HREF="palindrome.c.html#line7" target="source">palindrome.c:7,31</A>: Function strlen expects arg 1 to be
  10.                       char * gets mstring: s
  11.   Underlying types match, but mstring is an abstract
  12.   type that is not accessible here.
  13. <A HREF="palindrome.c.html#line11" target="source">palindrome.c:11,27</A>: Array fetch from non-array
  14.                        (mstring): s[len - i - 1]
  15.   Types are incompatible. (-type will suppress
  16.   message)
  17. palindrome.c: (in function callPal)
  18. <A HREF="palindrome.c.html#line19" target="source">palindrome.c:19,26</A>: Function isPalindrome expects arg
  19.     1 to be mstring gets char *: "bob"
  20.   Underlying types match, but mstring is an abstract
  21.   type that is not accessible here.
  22.  
  23. Finished LCLint checking --- 4 code errors found
  24.